1. Applications of Hyperstructure Theory

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebra.,Combinatorics.,Computational complexity.,Group theory.,Logic, Symbolic and mathematical.,Mathematics.

2. Automated Deduction -- CADE-12 :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.

3. Ideals, Varieties, and Algorithms

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.,Mathematics.

4. Mutational and Morphological Analysis

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Global analysis (Mathematics).,Logic, Symbolic and mathematical.,Mathematics.

5. Selected topics in algebra

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Algebra,Geometry, Algebraic,Logic, Symbolic and mathematical

6. Selected topics in algebra and its interrelation with logic, number theory, and algebric geometry

پدیدآورنده :

موضوع : ، Algebra,، Geometry, Algebraic,، Logic, symbolic and mathematical

۳ نسخه از این کتاب در ۳ کتابخانه موجود است.

7. The Art of the Intelligible :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebra.,Geometry.,Logic, Symbolic and mathematical.,Philosophy (General),Science-- Philosophy.,Algebra.,Geometry.,Logic, Symbolic and mathematical.,Science-- Philosophy.

رده :
B67

8. Towards an arithmetical logic :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy

رده :
QA1-939